Buy Used and New Sergiy Bogomolov Books

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings: 13465 (Lecture Notes in Computer Science, 13465)

by Sergiy Bogomolov, David Parker

ISBN 13: 9783031158384

Format: Paperback (324 pages)
Publisher: Springer
Published: 29 Aug 2022

Save for later